Solving Ethereum's Scalability Issues With Verifiable Computation